computation tree logic中文是什么意思

發(fā)音:

中文翻譯
造句

計(jì)算邏輯樹。

computation n. 1.計(jì)算，估算。 2.計(jì)算法。 3.計(jì)算結(jié)果，得數(shù) ...
tree n. 1.樹〔主要指喬木，也可指較大的灌木〕。 ★玫瑰可 ...
logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
journal of logic and computation 邏輯和計(jì)算雜志; 邏輯與計(jì)算雜志
tree height computation 樹頂?shù)挠?jì)算; 樹高的計(jì)算; 樹形結(jié)構(gòu)計(jì)算
computation n. 1.計(jì)算，估算。 2.計(jì)算法。 3.計(jì)算結(jié)果，得數(shù)。
-logic -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
a tree 樹狀; 一棵樹; 一蔸樹
in a tree 在樹上
in the tree 在樹上（非樹本身）
in tree 內(nèi)樹型; 入樹
into tree 放在樹中
on the tree 長在樹上的，如果實(shí)一類的。; 在樹上(本身生出的); 在樹上（果實(shí)等）
or tree 或樹
s tree 無私奉獻(xiàn)的樹
tree n. 特里〔姓氏〕。 n. 1.樹〔主要指喬木，也可指較大的灌木〕。 ★玫瑰可以稱為 bush, 也可以稱為 tree. 2.木料，木材；木構(gòu)件；〔古語〕絞首臺(tái)；〔the tree〕(釘死耶穌的)十字架；鞋楦。 3.樹形(物)，世系圖，家系 (＝family tree)；【數(shù)學(xué)】樹(形)；【化學(xué)】樹狀晶體。 a banana tree 香蕉樹。 an axle-tree 心棒，軸料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提樹。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣經(jīng)】知道善惡的樹，智慧之樹。 tree of life 生命之樹，生命力的源泉【植物；植物學(xué)】金鐘柏。 up a tree 〔口語〕進(jìn)退兩難，不知所措。 vt. 趕(獵獸等)上樹躲避；〔口語〕使處于困境；窮追；把鞋型插入(鞋內(nèi))。
a priori computation 演繹計(jì)算
abort computation 異常中止計(jì)算; 異常終止計(jì)算
accuracy in computation 計(jì)算準(zhǔn)確度
actual computation 實(shí)際計(jì)算
addre computation 地址計(jì)算

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

百科解釋

Computation tree logic?(CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realised. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers which determine if a given artifact possesses safety or liveness properties.

詳細(xì)百科解釋

推薦英語閱讀

computation tree logic的中文翻譯，computation tree logic是什么意思，怎么用漢語翻譯computation tree logic，computation tree logic的中文意思，computation tree logic的中文，computation tree logic in Chinese，computation tree logic的中文，computation tree logic怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。